Completeness and Compactness of Quantitative Domains
نویسنده
چکیده
In this paper we study the interplay between metric and order completeness of semantic domains equipped with generalised distances. We prove that for bounded complete posets directed-completeness and partial metric completeness are interdefinable. Moreover, we demonstrate that Lawson-compact, countably based domains are precisely the compact pmetric spaces that are continuously ordered.
منابع مشابه
ON COMPACTNESS AND G-COMPLETENESS IN FUZZY METRIC SPACES
In [Fuzzy Sets and Systems 27 (1988) 385-389], M. Grabiec in- troduced a notion of completeness for fuzzy metric spaces (in the sense of Kramosil and Michalek) that successfully used to obtain a fuzzy version of Ba- nachs contraction principle. According to the classical case, one can expect that a compact fuzzy metric space be complete in Grabiecs sense. We show here that this is not the case,...
متن کاملSOME RESULTS ON INTUITIONISTIC FUZZY SPACES
In this paper we define intuitionistic fuzzy metric and normedspaces. We first consider finite dimensional intuitionistic fuzzy normed spacesand prove several theorems about completeness, compactness and weak convergencein these spaces. In section 3 we define the intuitionistic fuzzy quotientnorm and study completeness and review some fundamental theorems. Finally,we consider some properties of...
متن کامل2010 Summer Course on Model Theory Pete
Introduction 1 0.1. Some theorems in mathematics with snappy model-theoretic proofs 1 1. Languages, structures, sentences and theories 1 1.1. Languages 1 1.2. Statements and Formulas 4 1.3. Satisfaction 5 1.4. Elementary equivalence 6 1.5. Theories 7 2. Big Theorems: Completeness, Compactness and Löwenheim-Skolem 9 2.1. The Completeness Theorem 9 2.2. Proof-theoretic consequences of the complet...
متن کامل2010 Summer Course on Model Theory
Introduction 2 0.1. Some theorems in mathematics with snappy model-theoretic proofs 2 1. Languages, structures, sentences and theories 2 1.1. Languages 2 1.2. Statements and Formulas 5 1.3. Satisfaction 6 1.4. Elementary equivalence 7 1.5. Theories 8 2. Big Theorems: Completeness, Compactness and Löwenheim-Skolem 9 2.1. The Completeness Theorem 9 2.2. Proof-theoretic consequences of the complet...
متن کاملOptimizing the Accuracy and Compactness of Multi-view Reconstructions
Current evaluation metrics and benchmarks for multi-view stereo reconstruction methods mainly focus on measuring the accuracy and completeness and they do not explicitly measure the compactness, and especially the compactness-accuracy trade-off of the reconstructed models. To answer this issue, we present an evaluation method that completes and improves the existing benchmarks. The proposed met...
متن کامل